Valencia, Frank D.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

SAE Technical Paper Series [SAE International SAE 2009 Noise and Vibration Conference and Exhibition - (MAY. 19, 2009)] SAE Technical Paper Series - NVH Development of Lightweight Polymer Engines Oil Pans for Gasoline

Zouani, Abdelkrim, Smith, Thomas, Valencia, Frank, Gan, Changshen, Sabharwal, Mamta, Lee, Chul, Bhosale, Ankur, Kondapalli, Prasanna

Year:

2009

Language:

english

File:

PDF, 471 KB

english, 2009

2

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk)

Catuscia Palamidessi, Mogens Nielsen, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 30 KB

english, 2002

3

Belief, knowledge, lies and other utterances in an algebra for space and extrusion

Guzman, Michell, Haar, Stefan, Perchy, Salim, Rueda, Camilo, Valencia, Frank D.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 680 KB

english, 2016

4

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Haar, Stefan, Perchy, Salim, Rueda, Camilo, Valencia, Frank

Year:

2015

Language:

english

File:

PDF, 832 KB

english, 2015

5

Observational and behavioural equivalences for soft concurrent constraint programming

Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

6

Timed Concurrent Constraint Programming for Analysing Biological Systems

Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 428 KB

english, 2007

7

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - On the expressive power of temporal concurrent constraint programming languages

Nielsen, Mogens, Palamidessi, Catuscia, Valencia, Frank D.

Year:

2002

Language:

english

File:

PDF, 320 KB

english, 2002

8

Magnetic Dipole and Higher Pole Interaction on a Square Lattice

Ewerlin, Melanie, Demirbas, Derya, Brüssing, Frank, Petracic, Oleg, Ünal, Ahmet A., Valencia, Sergio, Kronast, Florian, Zabel, Hartmut

Journal:

Physical Review Letters

Year:

2013

Language:

english

File:

PDF, 1.03 MB

english, 2013

9

Molecular characterization of Caulobacter crescentus mutator strains

Martins-Pinheiro, Marinalva, Oliveira, Alice R., Valencia, Alexy O., Fernandez-Silva, Frank S., Silva, Larissa G., Lopes-Kulishev, Carina O., Italiani, Valeria C.S., Marques, Marilis V., Menck, Carlos

Journal:

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

10

An Unusual Cause of Ascites-encapsulating Sclerosing Peritonitis

Valencia, Diego, Metwally, Mark, Sammarco, Frank, Khara, Harshit, Sreenivasan, Prithvi

Journal:

American Journal of Gastroenterology

Year:

2012

File:

PDF, 138 KB

2012

11

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Partition refinement for bisimilarity in CCP

Aristizabal, Andres, Bonchi, Filippo, Valencia, Frank D., Pino, Luis Fernando

Year:

2012

Language:

english

File:

PDF, 609 KB

english, 2012

12

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Efficient computation of program equivalence for confluent concurrent constraint programming

Pino, Luis F., Bonchi, Filippo, Valencia, Frank D.

Year:

2013

Language:

english

File:

PDF, 253 KB

english, 2013

13

[untitled]

Review by: Niels Valencia and Irma Franke

Journal:

Journal of Tropical Ecology

Year:

1989

Language:

english

File:

PDF, 356 KB

english, 1989

14

Foreword: Festschrift for Mogens Nielsen’s 60th birthday

Marco Carbone, Paweł Sobociński, Frank D. Valencia

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 277 KB

english, 2009

15

Efficient algorithms for program equivalence for confluent concurrent constraint programming

Pino, Luis F., Bonchi, Filippo, Valencia, Frank

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 817 KB

english, 2015

16

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2015 Volume 9399 || Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)

Leucker, Martin, Rueda, Camilo, Valencia, Frank D.

Year:

2015

Language:

english

File:

PDF, 99 KB

english, 2015

17

Electrochemical Lithiation Cycles of Gold Anodes Observed by In Situ High-Energy X-ray Diffraction

Bach, Philipp, Valencia-Jaime, Irais, Rütt, Uta, Gutowski, Olof, Romero, Aldo H., Renner, Frank U.

Journal:

Chemistry of Materials

Year:

2016

Language:

english

File:

PDF, 4.19 MB

english, 2016

18

Auditory Evoked Responses to Similar Words with Phonemic Difference: Comparison between Children with Good and Poor Reading Scores

Valencia, Ignacio, McAnulty, Gloria B., Waber, Deborah P., Duffy, Frank H.

Journal:

Clinical EEG and Neuroscience

Year:

2001

Language:

english

File:

PDF, 3.81 MB

english, 2001

19

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Universal concurrent constraint programing

Olarte, Carlos, Valencia, Frank D.

Year:

2008

Language:

english

File:

PDF, 310 KB

english, 2008

20

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - On the computational limits of infinite satisfaction

Dantchev, Stefan, Valencia, Frank D.

Year:

2005

Language:

english

File:

PDF, 132 KB

english, 2005

21

Auditory Evoked Response Data Reduction by PCA: Development of Variables Sensitive to Reading Disability

Duffy, Frank H., Valencia, Ignacio, McAnulty, Gloria B., Waber, Deborah P.

Journal:

Clinical EEG and Neuroscience

Year:

2001

Language:

english

File:

PDF, 17.99 MB

english, 2001

22

Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach

Haar, Stefan, Perchy, Salim, Valencia, Frank

Journal:

International Journal of Semantic Computing

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017

23

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - The expressivity of universal timed CCP

Olarte, Carlos, Valencia, Frank D.

Year:

2008

Language:

english

File:

PDF, 355 KB

english, 2008

24

Preface to special issue: EXPRESS 2010

FRÖSCHLE, SIBYLLE, VALENCIA, FRANK D.

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 45 KB

english, 2016

25

[IEEE 2017 IEEE 11th International Conference on Semantic Computing (ICSC) - San Diego, CA, USA (2017.1.30-2017.2.1)] 2017 IEEE 11th International Conference on Semantic Computing (ICSC) - D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

Haar, Stefan, Perchy, Salim, Valencia, Frank

Year:

2017

Language:

english

File:

PDF, 210 KB

english, 2017

26

Preface

Catuscia Palamidessi, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

27

Preface to special issue: EXPRESS 2011

LUTTIK, BAS, VALENCIA, FRANK D.

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 44 KB

english, 2016

28

Cochlear implantation in infants less than 12 months of age

David M. Valencia, Frank L. Rimell, Barbara J. Friedman, Melisa R. Oblander, Josephine Helmbrecht

Journal:

International Journal of Pediatric Otorhinolaryngology

Year:

2008

Language:

english

File:

PDF, 152 KB

english, 2008

29

γ-Tocopherol Supplementation of Allergic Female Mice Augments Development of CD11c+CD11b+ Dendritic Cells in Utero and Allergic Inflammation in Neonates

Abdala-Valencia, Hiam, Soveg, Frank, Cook-Mills, Joan Marie

Journal:

AJP Lung Cellular and Molecular Physiology

Year:

2016

Language:

english

File:

PDF, 833 KB

english, 2016

30

Hemorrhagic Foreign Body Granuloma after Cutaneous Surgery Occurring in the Setting of Aspirin Therapy or Thrombocytopenia: A Presentation of Six Cases

RUTH DOROTHEE HOLZMANN, SUZANNE MARIE OLBRICHT, VALENCIA DORCHELLE THOMAS, CARL FRANK SCHANBACHER

Journal:

Dermatologic Surgery

Year:

2008

Language:

english

File:

PDF, 1.67 MB

english, 2008

31

Characterizing right inverses for spatial constraint systems with applications to modal logic

Guzmán, Michell, Perchy, Salim, Rueda, Camilo, Valencia, Frank D.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

32

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2015 Volume 9399 || A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes

Leucker, Martin, Rueda, Camilo, Valencia, Frank D.

Year:

2015

Language:

english

File:

PDF, 252 KB

english, 2015

33

Hemorrhagic Foreign Body Granuloma after Cutaneous Surgery Occurring in the Setting of Aspirin Therapy or Thrombocytopenia

HOLZMANN, RUTH DOROTHEE, OLBRICHT, SUZANNE MARIE, THOMAS, VALENCIA DORCHELLE, SCHANBACHER, CARL FRANK

Journal:

Dermatologic Surgery

Year:

2008

Language:

english

File:

PDF, 1.67 MB

english, 2008

34

Regulation of allergic lung inflammation by endothelial cell transglutaminase 2

Soveg, Frank, Abdala-Valencia, Hiam, Campbell, Jackson, Morales-Nebreda, Luisa, Mutlu, Gökhan M., Cook-Mills, Joan M.

Journal:

AJP Lung Cellular and Molecular Physiology

Year:

2015

Language:

english

File:

PDF, 4.33 MB

english, 2015

35

Hypoxic-preconditioning induces neuroprotection against hypoxia–ischemia in newborn piglet brain

Jahan Ara, Saskia Fekete, Melissa Frank, Jeffrey A. Golden, David Pleasure, Ignacio Valencia

Journal:

Neurobiology of Disease

Year:

2011

Language:

english

File:

PDF, 2.47 MB

english, 2011

36

Thermal degradation of epoxy resin/carbon fiber composites: Influence of carbon fiber fraction on the fire reaction properties and on the gaseous species release

Dao, Duy Quang, Rogaume, Thomas, Luche, Jocelyn, Richard, Frank, Bustamante Valencia, Lucas, Ruban, Sindonie

Journal:

Fire and Materials

Year:

2014

Language:

english

File:

PDF, 4.19 MB

english, 2014

37

Functional characterization of two SOS-regulated genes involved in mitomycin C resistance in Caulobacter crescentus

Lopes-Kulishev, Carina O., Alves, Ingrid R., Valencia, Estela Y., Pidhirnyj, María I., Fernández-Silva, Frank S., Rodrigues, Ticiane R., Guzzo, Cristiane R., Galhardo, Rodrigo S.

Journal:

Year:

2015

Language:

english

File:

PDF, 3.24 MB

english, 2015

38

Persistence of Adaptation to Ozone in Volunteers Exposed Repeatedly for Six Weeks 1-3

Linn, William S., Medway, Deborah A., Anzar, Ute T., Valencia, Lupe M., Spier, Charles E., Tsao, Frank S.-D., Fischer, D. Armin, Hackney, Jack D.

Journal:

American Review of Respiratory Disease

Year:

1982

Language:

english

File:

PDF, 567 KB

english, 1982

39

Decidability of infinite-state timed CCP processes and first-order LTL

Frank D. Valencia

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 364 KB

english, 2005

40

Models and emerging trends of concurrent constraint programming

Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

Journal:

Year:

2013

Language:

english

File:

PDF, 783 KB

english, 2013

41

F. Vuilleumier & M. Monasterio (eds) 1986. High altitude tropical biogeography. Oxford University Press. 649 pages. ISBN 019-5036255. Price £85.00.

Valencia, Niels, Franke, Irma

Journal:

Journal of Tropical Ecology

Year:

1989

Language:

english

File:

PDF, 163 KB

english, 1989

42

Value of axial and coronal maximum intensity projection (MIP) images in the detection of pulmonary nodules by multislice spiral CT: comparison with axial 1-mm and 5-mm slices

Ray Valencia, Timm Denecke, Lukas Lehmkuhl, Frank Fischbach, Roland Felix, Friedrich Knollmann

Journal:

European Radiology

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

43

Effect of fingolimod (FTY720) on cerebral blood flow, platelet function and macular thickness in healthy volunteers

Ocwieja, Magdalena, Meiser, Karin, David, Olivier J., Valencia, Jessica, Wagner, Frank, Schreiber, Stephan J., Pleyer, Uwe, Ziemer, Sabine, Schmouder, Robert

Journal:

British Journal of Clinical Pharmacology

Year:

2014

Language:

english

File:

PDF, 1.11 MB

english, 2014

44

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2015 Volume 9399 || Rigid Families for CCS and the π-calculus

Leucker, Martin, Rueda, Camilo, Valencia, Frank D.

Year:

2015

Language:

english

File:

PDF, 398 KB

english, 2015

45

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 469 KB

english, 2008

46

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language

Camilo Rueda, Gloria Alvarez, Luis O. Quesada, Gabriel Tamura, Frank Valencia, JuanFrancisco Díaz, Gerard Assayag

Journal:

Year:

2001

Language:

english

File:

PDF, 1.67 MB

english, 2001

47

Weak CCP bisimilarity with strong procedures

Pino, Luis F., Aristizábal, Andrés, Bonchi, Filippo, Valencia, Frank

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 831 KB

english, 2015

48

[Lecture Notes in Computer Science] SOFSEM 2009: Theory and Practice of Computer Science Volume 5404 || On Stateless Deterministic Restarting Automata

Nielsen, Mogens, Kučera, Antonín, Miltersen, Peter Bro, Palamidessi, Catuscia, Tůma, Petr, Valencia, Frank

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

49

Tuberculosis on the rise in southern Mozambique (1997–2012)

García-Basteiro, Alberto L., Miranda Ribeiro, Rafaela, Brew, Joe, Sacoor, Charfudin, Valencia, Salomé, Bulo, Helder, Cobelens, Frank, Macete, Eusebio

Journal:

European Respiratory Journal

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

50

Surgical management of distal tracheal stenosis in children

David Valencia, David Overman, Robert Tibesar, Timothy Lander, Frank Moga, James Sidman

Journal:

The Laryngoscope

Year:

2011

Language:

english

File:

PDF, 96 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски